let h: m => n
